antiderivative of cscx cotx